Une nouvelle méthode graphique pour interroger et vérifier des diagrammes de classes UML
نویسنده
چکیده
Résumé. UML est le langage graphique de référence dans l’industrie pour la modélisation objet. Cependant UML reste un langage, et ne fournit aucun moyen de vérification ou d’interrogation de ses schémas. Il existe aujourd’hui des outils de vérification, mais ils se comportent comme des bôıtes noires où l’utilisateur ne peut accéder. Nous proposons une méthode graphique de vérification et d’interrogation de diagrammes de classes UML. L’aspect intuitif et dessinable de notre méthode offre à l’utilisateur la possibilité d’interroger le contenu de diagrammes de classes, ainsi que de définir et d’adapter ses propres critères de vérification. Le modèle calculatoire de notre approche est celui des graphes conceptuels.
منابع مشابه
Maladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles
متن کامل
Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information
RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...
متن کاملUne tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports
RÉSUMÉ. Le projet EDEMOI 1 a pour but la modélisation de la sécurité des aéroports. Son approche passe par la production de modèles graphiques (un ensemble de diagrammes UML) destinés à être validés par les experts du domaine, et de modèles formels destinés à être vérifiés. Pour assurer la correspondance entre ce qui est validé et ce qui est vérifié, il faut établir un lien fort entre ces deux ...
متن کاملApproche pour la Génération des Diagrammes UML à partir de l'Univers de Discours et l'Ontologie de Domaine
Résumé. Aujourd’hui, le langage de modélisation unifié (UML) a été largement accepté par l’industrie et s’est établi comme le langage commun pour l’analyse et la conception en génie logiciel orienté objet. Néanmoins, il souffre de manque d'outils et de syntaxe qui lui permettent de raffiner davantage la sémantique de données à partir de l'univers de discours. Ce raffinement est maîtrisé dans la...
متن کاملReprésentation sémantique de questions pour interroger le Web sémantique
RÉSUMÉ. Les bases de connaissances du Web sémantique sont généralement représentées sous forme de triplets RDF formant un graphe. Leur interrogation passe par un langage de type SPARQL, langage non maîtrisé des utilisateurs non experts, qui requiert de connaître le schéma de la base. C’est pourquoi les systèmes d’interrogation en langage naturel se développent actuellement. Se pose alors le pro...
متن کامل